Merge changes from topic "jts/docs" into integration
authorPaul Beesley <[email protected]>
Fri, 31 May 2019 13:37:55 +0000 (13:37 +0000)
committerTrustedFirmware Code Review <[email protected]>
Fri, 31 May 2019 13:37:55 +0000 (13:37 +0000)
* changes:
  Removing IRC related info from the documentation
  Further fixes to documentation links


Trivial merge